Search Results
ICTAC2015 Summer School - Security and Information Flow - Session 1
ICTAC2015 Summer School - Security and Information Flow - Session 2
ICTAC2015 Summer School - Security and Information Flow - Session 3
ICTAC2015 Summer School - Formal Verification Techniques - Session 2
Final steps of the salsa show
PivotWall: SDN-Based Information Flow Control
19 Information Flow Analysis
Quantitative Information Flow - Annabelle McIver
Modular Verification of Secure Information Flow - Peter Müller
CERIAS 2017-04-12- Information Flow Security in Practical Systems
Protecting Private Inputs: Bounded Distortion Guarantees With Randomised Approx.
Amal Ahmed Lecture 1, OPLSS 2016
